分类
联系方式
  1. 新浪微博
  2. E-mail

Doom Emacs 对编程语言的点评

~/.doom.d/init.el 是 Doom Emacs 的功能配置文件,包含大量功能模块,通过注释进行开关。

其中有一个 :lang 小节,用户开启对某个编程语言的支持。

好玩的是,Doom Emacs 对每个语言都写了一句毒舌点评。我将它们记录翻译下来:

有的双关语我可能没有 Get 到,或者翻译的不够妙的,供大家指正!

语言 点评 备注
agda types of types of types of types...

类型的类型的类型的类型...

beancount mind the GAAP

牢记 GAAP

Double-Entry Accounting from Text Files.

GAAP (generally accepted accounting principles)

(cc +lsp) C > C++ == 1
clojure java with a lisp

带 Lisp 的 Java

common-lisp if you've seen one lisp, you've seen them all

如果你见过一种 Lisp,你就见过所有的 Lisp 了

coq proofs-as-programs

证明即程序

crystal ruby at the speed of c

以C语言的速度运行的Ruby

csharp unity, .NET, and mono shenanigans

unity、.NET 和 mono 的诡计

data config/data formats
(dart +flutter) paint ui and not much else

绘制 UI,其他的就不多说了

dhall
elixir erlang done right

做的好的 Erlang

elm care for a cup of TEA?

想喝杯茶(TEA)吗?

emacs-lisp drown in parentheses

淹没在括号里

erlang an elegant language for a more civilized age

文明时代的优雅语言

ess emacs speaks statistics

懂统计学的 Emacs

用于支持 R, S-Plus, SAS 等语言

https://ess.r-project.org/

factor
faust dsp, but you get to keep your soul

dsp,但你可以保留你的灵魂

Functional Programming Language for Real Time Signal Processing
fortran in FORTRAN, GOD is REAL (unless declared INTEGER)

在 FORTRAN 中,GOD 是存在的(REAL)(除非声明为 INTEGER)。

fsharp ML stands for Microsoft's Language

ML 是微软语言的缩写

fstar (dependent) types and (monadic) effects and Z3

(从属)类型和(单子化效用)效应和 Z3

A Proof-oriented Programming Language

主要用于程序的形式化验证

gdscript the language you waited for

你所期待的语言

godotengine 的脚本语言
(go +lsp)  the hipster dialect

潮人方言

(graphql +lsp) Give queries a REST

给查询一个REST

(haskell +lsp) a language that's lazier than I am

一种比我还懒的语言

hy readability of scheme w/ speed of python

Scheme 的可读性,Python 的速度

idris a language you can depend on

一种你可以依赖的语言

json At least it ain't XML

至少它不是 XML

(java +lsp) the poster child for carpal tunnel syndrome

写到手抽筋的典型代表

javascript all(hope(abandon(ye(who(enter(here))))))

万(劫(不(复)))

julia a better, faster MATLAB

一个更好、更快的 MATLAB

kotlin a better, slicker Java(Script)

一个更好、更流畅的 Java(Script)。

latex writing papers in Emacs has never been so fun

用 Emacs 写论文从未如此有趣过

lean for folks with too much to prove

为需要证明的人而设

Lean is a theorem prover and programming language.
ledger be audit you can be

审时度势

Ledger is a powerful, double-entry accounting system
lua one-based indices? one-based indices

单一的指数? 单一的指数

markdown writing docs for people to ignore

用于编写供人忽略的文档

nim python + lisp at the speed of c

以 C 语言的速度运行的 Python+Lisp

nix I hereby declare "nix geht mehr!"

我在此宣布:"nix geht mehr!"

ocaml an objective camel

一只客观的骆驼

org organize your plain life in plain text

用普通的文本整理你的平淡生活

php perl's insecure younger brother

Perl 的不安全的弟弟

plantuml diagrams for confusing people more

让人更困惑的图表

purescript javascript, but functional

函数式的 JavaScript

python beautiful is better than ugly

美好的事物胜过丑陋

qt the 'cutest' gui framework ever

有史以来 "最可爱 "的 UI 框架

racket a DSL for DSLs

一个为 DSL 服务的 DSL

raku the artist formerly known as perl6

原名为 perl6 的艺术家

rest Emacs as a REST client
rst ReST in peace

R.I.P

(ruby +rails)  ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"}
rust Fe2O3.unwrap().unwrap().unwrap().unwrap()
scala java, but good

挺好的 Java

(scheme +guile) a fully conniving family of lisps

一个完全纵容的 Lisp 家族

sh she sells {ba,z,fi}sh shells on the C xor
sml
solidity do you need a blockchain? No.
swift who asked for emoji variables?

是谁说 emoji 变量的?

terra Earth and Moon in alignment for performance.
web the tubes
yaml JSON, but readable
zig C, but simpler